Mark Lawson - Co-Ordinatizing An Mv-Algebra By A Boolean Inverse Monoid